Hurford disjunction